...to try to make tab with close buttons to look better.
*/
&.reorderable-page {
&.top, &.bottom {
+ padding-left: 12px; // for a nicer close button
+ padding-right: 12px; // placement
border-left-width: 1px;
border-right-width: 1px;
}
}
}
&.top {
- padding-bottom: ($vt_vpadding -$tab_indicator_size);
+ //padding-bottom: ($vt_vpadding -$tab_indicator_size);
border-bottom-width: $tab_indicator_size;
}
&.bottom {
- padding-top: ($vt_vpadding -$tab_indicator_size);
+ //padding-top: ($vt_vpadding -$tab_indicator_size);
border-top-width: $tab_indicator_size;
}
&.left {
- padding-right: ($ht_hpadding -$tab_indicator_size);
+ //padding-right: ($ht_hpadding -$tab_indicator_size);
border-right-width: $tab_indicator_size;
}
&.right {
- padding-left: ($ht_hpadding -$tab_indicator_size);
+ //padding-left: ($ht_hpadding -$tab_indicator_size);
border-left-width: $tab_indicator_size;
}
.notebook tab.left, .notebook tab.right {
padding: 5px 20px; }
.notebook tab.reorderable-page.top, .notebook tab.reorderable-page.bottom {
+ padding-left: 12px;
+ padding-right: 12px;
border-left-width: 1px;
border-right-width: 1px; }
.notebook tab.reorderable-page.left, .notebook tab.reorderable-page.right {
border-bottom-width: 1px;
border-top-width: 1px; }
.notebook tab.top {
- padding-bottom: 5px;
border-bottom-width: 3px; }
.notebook tab.bottom {
- padding-top: 5px;
border-top-width: 3px; }
.notebook tab.left {
- padding-right: 17px;
border-right-width: 3px; }
.notebook tab.right {
- padding-left: 17px;
border-left-width: 3px; }
.notebook tab:hover, .notebook tab.prelight-page {
border-color: #1c1f1f; }
.notebook tab.left, .notebook tab.right {
padding: 5px 20px; }
.notebook tab.reorderable-page.top, .notebook tab.reorderable-page.bottom {
+ padding-left: 12px;
+ padding-right: 12px;
border-left-width: 1px;
border-right-width: 1px; }
.notebook tab.reorderable-page.left, .notebook tab.reorderable-page.right {
border-bottom-width: 1px;
border-top-width: 1px; }
.notebook tab.top {
- padding-bottom: 5px;
border-bottom-width: 3px; }
.notebook tab.bottom {
- padding-top: 5px;
border-top-width: 3px; }
.notebook tab.left {
- padding-right: 17px;
border-right-width: 3px; }
.notebook tab.right {
- padding-left: 17px;
border-left-width: 3px; }
.notebook tab:hover, .notebook tab.prelight-page {
border-color: #a1a1a1; }